AUTHORS: Victor Kasyanov, Elena Kasyanova
Download as PDF
ABSTRACT: In this paper, a cloud system being under development at the Institute of Informatics Systems in Novosibirsk as a system of functional programming for supporting of cloud supercomputing is considered. The system provides means to write and debug functional programs regardless target architectures on low-cost devices as well as to translate them into optimized parallel programs, appropriate to the target execution platforms, and then execute on high performance parallel computers without extensive rewriting and debugging.
KEYWORDS: Cloud supercomputing; functional programming; optimizing cross compilation, parallel programming.
REFERENCES:
[1] J. Backus. Can programming be liberated from the von Neumann style? Commun. ACM, Vol.21, No.8, 1978, pp. 613–641.
[2] J. McGraw, S. Skedzielewski, S. Allan, et all. SISAL - Streams and Iterations in a Single Assignment Language, Language Reference Manual: Version 1.2. Technical Report TR M146, University of California, Lawrence Livermore Laboratory, March, 1985.
[3] A.P. Ershov. The Transformational Machine: theme and Variations, Lecture Notes in Computer Science, 1981, Vol. 118, pp. 16-32.
[4] V.N. Kasyanov, E.V. Kasyanova. Graph- and cloud-based tools for computer science education, Lecture Notes in Computer Science, Vol. 9395, 2015, pp. 41 - 54.
[5] D.C. Cann. Retire Fortran?: a debate rekindled, Commun. ACM, Vol. 34, No. 8, 1992, pp. 81– 89.
[6] J.-L. Gaudiot, T. DeBoni, J. Feo, et all. The Sisal project: real world functional programming, Lecture Notes in Computer Science, Vol.1808, 2001, pp. 45–72.
[7] J.T.Feo, P.J. Piller, S.K. Skedzielewski, et all. SISAL 90. In: Proceedings of High Performance Functional Computing, Denver, 1995, pp. 35–47,
[8] V.N. Kasyanov. Sisal 3.2: functional language for scientific parallel programming, Enterprise Information Systems, Vol. 7, No. 2, 2013, pp. 227-236.
[9] D.C. Cann, J.T. Feo, A.P.W. Böhm, et all: Sisal Reference Manual: Language Version 2.0. Tech. Rep. Lawrence Livermore National Laboratory, UCRL-MA-109098, Livermore, CA, 1991.
[10] V.N. Kasyanov. Methods and tools for structural information visualization, WSEAS Transactions on Computers, Vol. 12, No. 7, 2013, pp. 349–359.
[11] U. Brandes, M. Eiglsperger, J. Lerner, and C. Pich. Graph Markup Language (GraphML), In: Handbook of Graph Drawing and Visualization. CRC Press, 2013, pp. 517–541.
[12] V.N. Kasyanov, T.A. Zolotuhin. Visual Graph – a system for visualization of big size complex structural information on the base of graph models, Scientific Visualization, Vol. 7, No. 4, 2015, pp. 44 – 59. (In Russian).
[13] V.N. Kasyanov. Transformational approach to program concretization, Theoretical Computer Science, Vol. 90, No. 1, 1991, pp. 37-46.
[14] V.N. Kasyanov. A support tool for annotated program manipulation, In: Proc. of Fifth European Conf. on Software Maintenance and Reengineering, IEEE Computer Society Press, 2001, pp. 85–94.